SCADE相关论文
为实现反应堆装料至升功率期间对核裂变反应速率的密切监视，需对反应堆中子倍增时间进行正确稳定的测量。本文基于对中子注量率测量......
研究了高安全性的应用程序开发环境—SCADE软件的特点和作用。阐述了SCADE软件中的两个重要的基础概念,在此基础上总结了SCADE软件......
列车自动防护(Automatic Train Protection,ATP)是列控系统的核心,负责监控列车速度,防止列车超速,是典型的安全苛求系统。作为安......
随着城市的发展,城市轨道交通的需求越来越大。交通的信号控制系统是轨道交通重要的组成部分,对于信号控制系统的安全负有重要意义......
主要介绍了基于嵌入式软件开发的新方法--实时嵌入式软件开发的高效解决方案XCADE,进行图形化软件开发、代码自动生成的关键技术.......
模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建......
针对新型列控系统(C4D-I)的地面核心设备(Resource Manage Unit,RMU)是没有明确技术规范的创新产品,提出基于SCADE需求分析和用例......
计算机联锁系统软件是一种典型的安全相关软件,具有非常复杂的联锁控制逻辑和以失效为核心的安全需求,在联锁系统的设计开发过程中......
针对我国民用飞机研制过程中,基于模型的机载软件开发技术进行研究,通过一种基于模型的开发工具,建立了一个机载软件模块的模型,在......
该文研究了一种无人机飞行控制软件设计方法,利用高安全性的应用程序开发环境—SCADE(Safety-Critical ApplicationDevelopment En......
余度技术是提高可靠性的有效途径，余度系统同步是余度技术的关键。在SCADE开发环境中采用图形化建模方式搭建三余度飞控计算机任务......
针对目前余度管理软件开发过程中普遍采用手工编码，可靠性和效率较低，验证3-作量大，软件开发周期较长，成本高等问题，本文采用基于SCADE......
在嵌入式控制系统中,PID控制器应用广泛。鉴于实时性和同步性的要求,传统的PID控制器通常采用手工编程来实现。该种实现方式,费时......
软件的安全性和可靠性对于军用软件是至关重要的,而软件的开发模式对软件的安全性影响很大,通过阐述了基于模型的开发技术,并在型......
GLUT工具包独立于窗口系统,对窗口和事件的管理工作进行标准化和简化。本文介绍了GLUT程序框架的构建,解析了GLUT回调函数设计思想......
本文介绍了基于模型的现代软件项目开发方法,并结合实际项目的需求,从项目的概要设计到详细设计方面进行了详细的描述,并采用SCADE......
飞机从一个航路点飞向另一个航路点,需要计算两航路点之间距离。地球是一个两级稍扁赤道较长的复杂球体,为了提高大圆航线距离计算......
为提高机载计算机的可靠性和容错能力，普遍采用余度技术。但目前余度管理软件开发过程中通常采用手写代码，容易引入错误，软件可靠性和......
列车调度软件是ATS系统的核心,以往的ATS系统列车调度软件,按照传统的“V”型软件开发流程进行。由于采用手工编码方式,编码工作量......
随着民航事业的快速发展,业界对飞控系统软件的重视程度日渐提升,但现行的中国民用航空规章第25部涉及的适航要求却存在不完全适用......
列车运行控制系统是保证轨道交通安全、正点、高密度运行的自动化系统,是轨道交通系统的神经中枢。其中,车载ATP设备是列控系统实......
在GLS连续下降进近过程中,飞机需要按照一定的下滑角进行进近。在下降过程中,由于受到外界因素影响,难免会与理论下降航道产生偏差......
列车运行控制系统是监督控制列车运行速度,确保列车运行安全、正点、高效的核心技术装备。近年来,基于模型的开发方法逐渐应用于列......
利用一种嵌入式软件开发的新方法——嵌入式代码自动生成软件SACDE研究了无人机三余度飞控系统的开发。通过与传统三余度飞控系统......
电接点水位探头是一种工业上常用的液位开关,二次仪表是影响电接点水位探头使用寿命的重要因素,为延长电接点水位探头寿命,提出了......
CTCS-3级列车运行控制系统是我国目前应用等级最高、技术设备最先进的铁路信号设备,主要用于保证列车安全、高效地运行。列车自动......
近年来,伴随我国城市化建设步伐的加快,城市人口增长速度越来越快,随之而来的私家车也越来越多,交通的拥挤程度也越来越严重。实践......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
建立一套基于高安全性应用开发环境（SCADE）的梯形图模型库,并基于该模型库提出一种基于SCADE和梯形图的可视化联锁逻辑实现方法。该......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
针对传统软件开发方式已经不能满足高安全性系统安全性、完整性的需求,本文提出了基于SCADE的安全软件开发方法,分析SCADE开发的原......
中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCAD......
安全和可靠性是嵌入式软件质量的关键要素,软件的设计模式直接决定了软件的安全和可靠性。本文研究了高安全性应用程序开发环境-SC......
基于ARINC661架构的显示系统的最大特点在于将实现显示画面生成功能的应用与实现画面逻辑控制功能的应用彻底隔离,使得系统开发后......
利用SCADE Suite实现三角函数的泰勒级数展开法,进行了建模、仿真、比较。对于嵌入式编程,很多时候由于系统的限制,需重新实现三角......
随着航空机载软件功能和复杂性的提高,采用传统的人工编码方法来已不能满足其效率和安全性要求,因此寻求一种更有效的航空机载软件......
列车自动防护(ATP)系统是基于通信列车控制(CBTC)系统的重要组成部分。车载ATP在列车运行过程中担负列车安全运行的重要任务,是与......
传统无人机座舱显示系统软件设计通常采用纯手工代码编程的方式来实现,开发周期长、成本高。随着航空航天电子系统软件的迅速发展,......
为了探索SCADE开发环境在基于模型设计（MBD）的软件开发中的优势,理解其建模和自动代码生成机制,研究其在基于模型的测试和覆盖率分析......
SCADE工具是一种高安全应用开发环境,为高安全性应用系统的软件开发人员提供了一套完整的基于模型的开发解决方案,以此降低开发成......
联锁系统对安全等级要求高,采用高安全性软件开发十分必要。文章介绍基于SCADE工具实现联锁逻辑软件的开发过程,使用模型化的方法......
基于通信的列车控制(Communication Based Train Control,CBTC)系统是利用连续、大容量的车地双向数字通信实现列车控制信息和列车......
传统的无人机飞行控制系统软件设计通常采用手工编程来实现,开发成本高、周期长。随着航空电子软件的迅速发展,对飞行控制软件的安......
无人驾驶飞机已经广泛应用于国防和民用上。机载嵌入式系统开发面临着越来越严峻的挑战,主要体现在开发周期要求越来越短,而对质量......
无人机飞行控制系统软件是无人机完成各项功能的重要角色,传统无人机软件的设计方法采用人工编码,随着飞行控制系统功能复杂性的提......
